package randoopFailures;

import junit.framework.*;

public class PackageModelRandoopTest_failure_15 extends TestCase {

  public static boolean debug = false;

  public void test1() throws Throwable {

    if (debug) System.out.printf("%nPackageModelRandoopTest_failure_15.test1");


    com.hyperrealm.kiwi.ui.model.TableSorter var0 = new com.hyperrealm.kiwi.ui.model.TableSorter();
    com.hyperrealm.kiwi.ui.model.TableSorter var1 = new com.hyperrealm.kiwi.ui.model.TableSorter();
    com.hyperrealm.kiwi.ui.model.TableSorter var2 = new com.hyperrealm.kiwi.ui.model.TableSorter();
    var1.addTableModelListener((javax.swing.event.TableModelListener)var2);
    var0.setModel((javax.swing.table.TableModel)var1);
    boolean var5 = var1.isSortedAscending();
    com.hyperrealm.kiwi.ui.model.DefaultKListModel var6 = new com.hyperrealm.kiwi.ui.model.DefaultKListModel();
    var6.updateItemAt(0);
    com.hyperrealm.kiwi.ui.model.OrderedListModel var9 = new com.hyperrealm.kiwi.ui.model.OrderedListModel();
    com.hyperrealm.kiwi.ui.model.KDocument var11 = new com.hyperrealm.kiwi.ui.model.KDocument((-1));
    javax.swing.text.Position var12 = var11.getStartPosition();
    java.io.File[] var14 = new java.io.File[] { };
    com.hyperrealm.kiwi.ui.model.FilesystemDataSource var16 = new com.hyperrealm.kiwi.ui.model.FilesystemDataSource(var14, true);
    java.lang.Object var19 = var16.getValueForProperty((java.lang.Object)(byte)0, "");
    java.io.File[] var20 = new java.io.File[] { };
    com.hyperrealm.kiwi.ui.model.FilesystemDataSource var22 = new com.hyperrealm.kiwi.ui.model.FilesystemDataSource(var20, true);
    java.lang.Object var24 = var16.getValueForProperty((java.lang.Object)var20, "hi!");
    var11.putProperty((java.lang.Object)0.0f, (java.lang.Object)var20);
    var9.setElements((java.lang.Object[])var20);
    boolean var28 = var6.isFieldMutable((java.lang.Object)var9, 1);
    var9.removeElementAt(1);
    var9.addElement((java.lang.Comparable)0L);
    var9.updateItemAt((-1));
    com.hyperrealm.kiwi.ui.model.TableSorter var35 = new com.hyperrealm.kiwi.ui.model.TableSorter();
    var35.fireTableRowsUpdated(100, 1);
    boolean var39 = var35.isSortedAscending();
    com.hyperrealm.kiwi.ui.model.TableSorter var40 = new com.hyperrealm.kiwi.ui.model.TableSorter();
    com.hyperrealm.kiwi.ui.model.TableSorter var41 = new com.hyperrealm.kiwi.ui.model.TableSorter();
    com.hyperrealm.kiwi.ui.model.TableSorter var42 = new com.hyperrealm.kiwi.ui.model.TableSorter();
    var41.addTableModelListener((javax.swing.event.TableModelListener)var42);
    var40.setModel((javax.swing.table.TableModel)var41);
    var35.setModel((javax.swing.table.TableModel)var41);
    boolean var46 = var9.contains((java.lang.Object)var41);
    var1.setModel((javax.swing.table.TableModel)var41);
    var41.fireTableDataChanged();

  }

}
